SEPARATING MANY LOCALISATION CARDINALS ON THE GENERALISED BAIRE SPACE

نویسندگان

چکیده

Abstract Given a cofinal cardinal function $h\in {}^{\kappa }\kappa $ for $\kappa inaccessible, we consider the dominating h -localisation number, that is, least cardinality of set -slaloms such every -real is localised by slalom in set. It was proved [3] localisation numbers can be consistently different two functions (the identity and power function). We will construct ^+$ -sized family their corresponding numbers, use ${\leq -supported product cofinality-preserving forcing to prove any simultaneous assignment these cardinals above consistent. This answers an open question from [3].

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Questions on generalised Baire spaces

When studying questions about real numbers, it is common practice in set theory to investigate the closely related Baire space ω and Cantor space 2 . These spaces have been extensively studied by set theorists from various points of view, e.g., questions about cardinal characteristics of the continuum, descriptive set theory and other combinatorial questions. Furthermore, the investigation of 2...

متن کامل

On large cardinals and generalized Baire spaces

Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal κ. We show the consistency of E ++,λ++ λ-club , the relation of equivalence modulo the non-stationary ideal restricted to Sλ ++ λ in the space (λ++)λ ++ , being continuously reducible to E ++ λ+-club , the relation of equi...

متن کامل

Formally continuous functions on Baire space

A function from Baire space N to the natural numbers N is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer-operation (i.e. inductively defined neighbourhood function); the other is a fu...

متن کامل

Extending Baire property by uncountably many sets

We prove that if ZFC is consistent so is ZFC + “for any sequence (An) of subsets of a Polish space 〈X, τ〉 there exists a separable metrizable topology τ ′ on X with B(X, τ) ⊆ B(X, τ ′), MGR(X, τ ′) ∩ B(X, τ) = MGR(X, τ) ∩B(X, τ) and An Borel in τ ′ for all n.” This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets...

متن کامل

A hierarchy of clopen graphs on the Baire space

We say that E ⊆ X × X is a clopen graph on X iff E is symmetric and irreflexive and clopen relative to X\∆ where ∆ = {(x, x) : x ∈ X} is the diagonal. Equivalently E ⊆ [X] and for all x 6= y ∈ X there are open neighborhoods x ∈ U and y ∈ V such that either U × V ⊆ E or U × V ⊆ X\E. For clopen graphs E1, E2 on spaces X1, X2, we say that E1 continuously reduces to E2 iff there is a continuous map...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Symbolic Logic

سال: 2023

ISSN: ['1943-5886', '0022-4812']

DOI: https://doi.org/10.1017/jsl.2023.21